C4^2.20C2^3 - GroupNames

G = C₄².₂₀C₂³ order 128 = 2⁷

20^th non-split extension by C₄² of C₂³ acting faithfully

p-group, metabelian, nilpotent (class 3), monomial

Aliases: C₄².₂₀C₂³, (C₂×D₄)⋊₉Q₈, C₄⋊Q₈⋊₇C₂², D₄.₅(C₂×Q₈), C₄⋊C₈⋊₁₀C₂², C₄⋊C₄.₃₄₁D₄, D₄⋊₂Q₈⋊₃C₂, D₄.Q₈⋊₁₄C₂, D₄⋊Q₈⋊₂₀C₂, C₂.₁₃(D₄○D₈), C₄⋊C₄.₄₄C₂³, (C₂×C₈).₂₈C₂³, C₂.D₈⋊₅₀C₂², C₄.Q₈⋊₅₉C₂², C₄.₃₂(C₂²×Q₈), (C₂×C₄).₂₇₉C₂⁴, C₂²⋊C₄.₁₄₂D₄, (C₄×D₄).₆₉C₂², C₂³.₄₄₈(C₂×D₄), C₄.₆₇(C₂²⋊Q₈), C₄².C₂⋊₁C₂², C₂.₂₀(D₄○SD₁₆), (C₂×D₄).₃₉₇C₂³, C₂³.₂₅D₄⋊₅C₂, M₄(2)⋊C₄⋊₁₉C₂, D₄⋊C₄.₂₆C₂², C₄².₆C₂²⋊₉C₂, (C₂²×C₄).₉₉₈C₂³, (C₂²×C₈).₁₈₁C₂², C₂².₁₁C₂⁴.₈C₂, C₂³.₃₇D₄.₃C₂, C₂².₅₃₉(C₂²×D₄), C₂².₁₀(C₂²⋊Q₈), C₂³.₄₁C₂³⋊₃C₂, (C₂²×D₄).₃₅₅C₂², (C₂×M₄(2)).₆₈C₂², C₄²⋊C₂.₁₁₈C₂², C₄.₈₉(C₂×C₄○D₄), (C₂×C₄).₄₈₁(C₂×D₄), (C₂×C₄).₁₀₃(C₂×Q₈), C₂.₆₀(C₂×C₂²⋊Q₈), (C₂×D₄⋊C₄).₂₈C₂, (C₂×C₄).₄₈₁(C₄○D₄), (C₂×C₄⋊C₄).₆₀₅C₂², SmallGroup(128,1813)

Series: Derived ►Chief ►Lower central ►Upper central ►Jennings

Derived series

C₁ — C₂×C₄ — C₄².₂₀C₂³

Chief series

C₁ — C₂ — C₄ — C₂×C₄ — C₂²×C₄ — C₂²×D₄ — C₂².₁₁C₂⁴ — C₄².₂₀C₂³

Lower central

C₁ — C₂ — C₂×C₄ — C₄².₂₀C₂³

Upper central

C₁ — C₂² — C₄²⋊C₂ — C₄².₂₀C₂³

Jennings

C₁ — C₂ — C₂ — C₂×C₄ — C₄².₂₀C₂³

Generators and relations for C₄².₂₀C₂³
G = < a,b,c,d,e | a⁴=b⁴=d²=1, c²=e²=a²b², ab=ba, cac^-1=a^-1b², ad=da, eae^-1=ab², cbc^-1=dbd=b^-1, be=eb, dcd=bc, ece^-1=a²b²c, de=ed >

Subgroups: 404 in 199 conjugacy classes, 100 normal (38 characteristic)
C₁, C₂, C₂, C₄, C₄, C₄, C₂², C₂², C₂², C₈, C₂×C₄, C₂×C₄, C₂×C₄, D₄, D₄, Q₈, C₂³, C₂³, C₄², C₄², C₂²⋊C₄, C₂²⋊C₄, C₄⋊C₄, C₄⋊C₄, C₄⋊C₄, C₂×C₈, C₂×C₈, C₂×C₈, M₄(2), C₂²×C₄, C₂²×C₄, C₂×D₄, C₂×D₄, C₂×Q₈, C₂⁴, D₄⋊C₄, C₄⋊C₈, C₄.Q₈, C₄.Q₈, C₂.D₈, C₂.D₈, C₂×C₂²⋊C₄, C₂×C₄⋊C₄, C₄²⋊C₂, C₄×D₄, C₄×D₄, C₂²⋊Q₈, C₄².C₂, C₄².C₂, C₄⋊Q₈, C₄⋊Q₈, C₂²×C₈, C₂×M₄(2), C₂²×D₄, C₂×D₄⋊C₄, C₂³.₃₇D₄, C₄².₆C₂², C₂³.₂₅D₄, M₄(2)⋊C₄, D₄⋊Q₈, D₄⋊₂Q₈, D₄.Q₈, C₂².₁₁C₂⁴, C₂³.₄₁C₂³, C₄².₂₀C₂³
Quotients: C₁, C₂, C₂², D₄, Q₈, C₂³, C₂×D₄, C₂×Q₈, C₄○D₄, C₂⁴, C₂²⋊Q₈, C₂²×D₄, C₂²×Q₈, C₂×C₄○D₄, C₂×C₂²⋊Q₈, D₄○D₈, D₄○SD₁₆, C₄².₂₀C₂³

Smallest permutation representation of C₄².₂₀C₂³
►On 32 points

Generators in S₃₂

(1 2 3 4)(5 6 7 8)(9 10 11 12)(13 14 15 16)(17 18 19 20)(21 22 23 24)(25 26 27 28)(29 30 31 32)

(1 21 18 26)(2 22 19 27)(3 23 20 28)(4 24 17 25)(5 30 11 16)(6 31 12 13)(7 32 9 14)(8 29 10 15)

(1 16 20 32)(2 29 17 13)(3 14 18 30)(4 31 19 15)(5 23 9 26)(6 27 10 24)(7 21 11 28)(8 25 12 22)

(5 30)(6 31)(7 32)(8 29)(9 14)(10 15)(11 16)(12 13)(21 26)(22 27)(23 28)(24 25)

(1 4 20 19)(2 18 17 3)(5 8 9 12)(6 11 10 7)(13 30 29 14)(15 32 31 16)(21 24 28 27)(22 26 25 23)

G:=sub<Sym(32)| (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28)(29,30,31,32), (1,21,18,26)(2,22,19,27)(3,23,20,28)(4,24,17,25)(5,30,11,16)(6,31,12,13)(7,32,9,14)(8,29,10,15), (1,16,20,32)(2,29,17,13)(3,14,18,30)(4,31,19,15)(5,23,9,26)(6,27,10,24)(7,21,11,28)(8,25,12,22), (5,30)(6,31)(7,32)(8,29)(9,14)(10,15)(11,16)(12,13)(21,26)(22,27)(23,28)(24,25), (1,4,20,19)(2,18,17,3)(5,8,9,12)(6,11,10,7)(13,30,29,14)(15,32,31,16)(21,24,28,27)(22,26,25,23)>;

G:=Group( (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28)(29,30,31,32), (1,21,18,26)(2,22,19,27)(3,23,20,28)(4,24,17,25)(5,30,11,16)(6,31,12,13)(7,32,9,14)(8,29,10,15), (1,16,20,32)(2,29,17,13)(3,14,18,30)(4,31,19,15)(5,23,9,26)(6,27,10,24)(7,21,11,28)(8,25,12,22), (5,30)(6,31)(7,32)(8,29)(9,14)(10,15)(11,16)(12,13)(21,26)(22,27)(23,28)(24,25), (1,4,20,19)(2,18,17,3)(5,8,9,12)(6,11,10,7)(13,30,29,14)(15,32,31,16)(21,24,28,27)(22,26,25,23) );

G=PermutationGroup([[(1,2,3,4),(5,6,7,8),(9,10,11,12),(13,14,15,16),(17,18,19,20),(21,22,23,24),(25,26,27,28),(29,30,31,32)], [(1,21,18,26),(2,22,19,27),(3,23,20,28),(4,24,17,25),(5,30,11,16),(6,31,12,13),(7,32,9,14),(8,29,10,15)], [(1,16,20,32),(2,29,17,13),(3,14,18,30),(4,31,19,15),(5,23,9,26),(6,27,10,24),(7,21,11,28),(8,25,12,22)], [(5,30),(6,31),(7,32),(8,29),(9,14),(10,15),(11,16),(12,13),(21,26),(22,27),(23,28),(24,25)], [(1,4,20,19),(2,18,17,3),(5,8,9,12),(6,11,10,7),(13,30,29,14),(15,32,31,16),(21,24,28,27),(22,26,25,23)]])

32 conjugacy classes

class	1	2A	2B	2C	2D	2E	2F	2G	2H	2I	4A	4B	4C	4D	4E	···	4L	4M	4N	4O	4P	8A	8B	8C	8D	8E	8F
order	1	2	2	2	2	2	2	2	2	2	4	4	4	4	4	···	4	4	4	4	4	8	8	8	8	8	8
size	1	1	1	1	2	2	4	4	4	4	2	2	2	2	4	···	4	8	8	8	8	4	4	4	4	8	8

32 irreducible representations

dim

type

image

C₁

C₂

D₄

Q₈

C₄○D₄

D₄○D₈

D₄○SD₁₆

kernel

C₄².₂₀C₂³

C₂×D₄⋊C₄

C₂³.₃₇D₄

C₄².₆C₂²

C₂³.₂₅D₄

M₄(2)⋊C₄

D₄⋊Q₈

D₄⋊₂Q₈

D₄.Q₈

C₂².₁₁C₂⁴

C₂³.₄₁C₂³

C₂²⋊C₄

C₄⋊C₄

C₂×D₄

C₂×C₄

C₂

# reps

Matrix representation of C₄².₂₀C₂³ ►in GL₆(𝔽₁₇)

13	0	0	0	0	0
13	4	0	0	0	0
0	0	0	0	1	0
0	0	1	1	16	15
0	0	16	0	0	0
0	0	1	1	0	16

16	0	0	0	0	0
0	16	0	0	0	0
0	0	0	16	0	0
0	0	1	0	0	0
0	0	16	16	1	2
0	0	1	0	16	16

2	13	0	0	0	0
14	15	0	0	0	0
0	0	3	14	0	0
0	0	14	14	0	0
0	0	14	14	6	6
0	0	3	0	14	11

16	0	0	0	0	0
16	1	0	0	0	0
0	0	0	16	0	0
0	0	16	0	0	0
0	0	16	16	1	2
0	0	0	0	0	16

13	0	0	0	0	0
13	4	0	0	0	0
0	0	0	0	1	0
0	0	1	1	16	15
0	0	1	0	0	0
0	0	0	0	0	16

G:=sub<GL(6,GF(17))| [13,13,0,0,0,0,0,4,0,0,0,0,0,0,0,1,16,1,0,0,0,1,0,1,0,0,1,16,0,0,0,0,0,15,0,16],[16,0,0,0,0,0,0,16,0,0,0,0,0,0,0,1,16,1,0,0,16,0,16,0,0,0,0,0,1,16,0,0,0,0,2,16],[2,14,0,0,0,0,13,15,0,0,0,0,0,0,3,14,14,3,0,0,14,14,14,0,0,0,0,0,6,14,0,0,0,0,6,11],[16,16,0,0,0,0,0,1,0,0,0,0,0,0,0,16,16,0,0,0,16,0,16,0,0,0,0,0,1,0,0,0,0,0,2,16],[13,13,0,0,0,0,0,4,0,0,0,0,0,0,0,1,1,0,0,0,0,1,0,0,0,0,1,16,0,0,0,0,0,15,0,16] >;

C₄².₂₀C₂³ in GAP, Magma, Sage, TeX

C_4^2._{20}C_2^3

% in TeX

G:=Group("C4^2.20C2^3");

// GroupNames label

G:=SmallGroup(128,1813);

// by ID

G=gap.SmallGroup(128,1813);

# by ID

G:=PCGroup([7,-2,2,2,2,-2,2,-2,112,253,120,758,1018,4037,1027,124]);

// Polycyclic

G:=Group<a,b,c,d,e|a^4=b^4=d^2=1,c^2=e^2=a^2*b^2,a*b=b*a,c*a*c^-1=a^-1*b^2,a*d=d*a,e*a*e^-1=a*b^2,c*b*c^-1=d*b*d=b^-1,b*e=e*b,d*c*d=b*c,e*c*e^-1=a^2*b^2*c,d*e=e*d>;

// generators/relations

G = C42.20C23 order 128 = 27

20th non-split extension by C42 of C23 acting faithfully

G = C₄².₂₀C₂³ order 128 = 2⁷

20^th non-split extension by C₄² of C₂³ acting faithfully